991![Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin](https://www.pdfsearch.io/img/968dcbaf5186dabc39e5c1fd18f7b638.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:19:51
|
---|
992![The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014](https://www.pdfsearch.io/img/7e6a17852aa5ef8b9399ba06c6130d7b.jpg) | Add to Reading ListSource URL: compcert.inria.frLanguage: English - Date: 2014-09-17 05:19:05
|
---|
993![How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013](https://www.pdfsearch.io/img/da7f1eabd8ff69104c97ee5a8612d8e0.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-11-21 06:16:22
|
---|
994![Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse](https://www.pdfsearch.io/img/5743eab6372bd027c3bc872ce34a7550.jpg) | Add to Reading ListSource URL: proofgeneral.inf.ed.ac.ukLanguage: English - Date: 2004-03-23 07:03:59
|
---|
995![Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015](https://www.pdfsearch.io/img/bd9084ccd55c7a9b39f2687c0c3193b5.jpg) | Add to Reading ListSource URL: concrete-semantics.orgLanguage: English - Date: 2015-04-08 16:10:05
|
---|
996![A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya](https://www.pdfsearch.io/img/205f00dc80f28f10f04acc788cb452fb.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:19:51
|
---|
997![Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed]](https://www.pdfsearch.io/img/713d6e1fc485c625cae39812f319e673.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2007-07-30 10:00:27
|
---|
998![Foundations of the Unified Modeling Language Tony Clark, Andy Evans Formal Methods Group, Department of Computing, University of Bradford, UK Foundations of the Unified Modeling Language Tony Clark, Andy Evans Formal Methods Group, Department of Computing, University of Bradford, UK](https://www.pdfsearch.io/img/f32650bb2fa62c31d01be0e5d9415109.jpg) | Add to Reading ListSource URL: www.cs.york.ac.ukLanguage: English - Date: 2003-02-04 09:56:28
|
---|
999![In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009 In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009](https://www.pdfsearch.io/img/3a9d7401c647b11c171b858956c8d972.jpg) | Add to Reading ListSource URL: www.cs.nyu.eduLanguage: English - Date: 2010-09-24 15:20:25
|
---|